退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有探针不确定性的MPI程序的可靠,高效的动态验证Verification
Anh Vo; Sarvani Vakkalanka; Jason Williams; Ganesh Gopalakrishnan; Robert M. Kirby; Rajeev Thakur;
机译:使用软件模型检查来验证MPI Java程序
机译:基于MPI的并行程序的自动形式验证
机译:实用MPI程序的形式验证
机译:具有探针不确定性的MPI程序的可靠,高效的动态验证
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:新生儿声门下光学相干断层扫描图像的动态编程和自动分割:实现有效的诊断以管理声门下狭窄
机译:使用通配符接收的mpI程序的暂停属性的有效验证
机译:航空动力声源探测系统及航空动力声源探测方法
机译:自动将MPI源代码程序转换为基于MPI线程的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。